
  Syntax        %SWITCH% label

  Purpose       Switches the left and right sides of an equation.

  %Example%

  þQ1 : a = b
  þSWITCH 
  Q1 : b = a

  PROCEDURE Example(LABEL L) ;
    SWITCH L
  EXIT
